strongly axiomatizable theory
[数] 强可公理化理论
热门查询
- remold n. (Remold)人名；(德)雷莫尔德 vt. 改造；改铸
- wavefunction 波函数
- Arbuthnot 阿巴斯诺特(姓氏)
- whew int. 哟！；唷！（表示惊讶、失望、厌恶等）
- injection n. 注射；注射剂；充血；射入轨道
- benediction n. 祝福；赐福；恩赐；祈求上帝赐福的仪式
- Brassey [人名] 布拉西
- Cahn [人名] 卡恩
- dynamometer n. 测力计；功率计；动力计
- identified v. 鉴定（identify的过去分词）；辨认 adj. 被识别的；经鉴定的；被认同者
- Cowes 考斯（英格兰）
- maritime adj. 海的；海事的；沿海的；海员的
- acid rain n. 酸雨；酸性降水 [网络] 酸雨公司；酸雨问题；酸性雨
- freighted vbl. 运输
- jerk n. 肌肉抽搐；性情古怪的人；蠢人；急拉 vi. 痉挛；急拉；颠簸地行进 vt. 猛拉 n. (Jerk)人名；(俄)埃尔克；(匈)耶尔克
- gog abbr. Government of Greece 希腊政府; gynecologic oncology group 妇科肿瘤学组
- profile n. 侧面；轮廓；外形；剖面；简况 vt. 描…的轮廓；扼要描述 vi. 给出轮廓
- fowl n. 家禽；鸟；飞禽 vi. 打鸟；捕野禽
- upswing n. 上升；增加；向上摆动 vi. 提高；回升；向上摆动
- dealer n. 经销商；商人 n. 发牌员 n. [俚语]毒品贩子，贩毒者
